Nuprl Definition : es-hist 11,40

es-hist{i:l}(es;e1;e2) == map((e.es-info(es;e)); [e1, e2]) 
latex



clarification:

es-hist{i:l}(es; e1; e2) == map((e.es-info(es;e)); es-interval{i:l}(es; e1; e2)) 
latex


Definitionsmap(f; as), es-info(es;e), [e, e']
FDL editor aliaseses-hist

origin